Proof theory - PDFSEARCH.IO - Document Search Engine

Proof theory
Results: 1637

#	Item
131	HEALY & KRAWIEC IN PRINTER PROOF (DO NOT DELETE:11 PM CUSTOM, CONTRACT, AND KIDNEY EXCHANGE Add to Reading List Source URL: kieranhealy.org Language: English - Date: 2013-02-21 12:22:49 Organ donation Kidney transplantation Organ transplantation Medical ethics United Network for Organ Sharing Gift economy Social exchange theory National Kidney Registry Draft:Kidney Paired Donation
132	On interpolation in existence logics Matthias Baaz and Rosalie Iemhoff!! Technical University Vienna, Wiedner Hauptstrasse 8-10, A-1040 Vienna, Austria , , http://www.logic.at/people/baaz, ht Add to Reading List Source URL: www.phil.uu.nl Language: English - Date: 2008-12-12 07:17:45 Proof theory Model theory Non-classical logic Predicate logic Philosophical logic Natural deduction First-order logic Sequent Intuitionistic logic Kripke semantics Interpretation Mathematical logic
133	Appendix Clarification of Linear Grope Height Raising M. Freedman and P. Teichner Slava Krushkal and Frank Quinn recently brought to our attention misstatements in the proof of our linear grope height raising procedure w Add to Reading List Source URL: people.mpim-bonn.mpg.de Language: English - Date: 2012-08-01 06:52:27 Capped grope Measure theory Probability theory
134	Querying Proofs (Work in Progress) David Aspinall1 , Ewen Denney2 , and Christoph L¨ uth3 1 Add to Reading List Source URL: ti.arc.nasa.gov Language: English Proof theory Mathematical proof NP First-order logic Formal proof
135	propositional logic logical verification week Add to Reading List Source URL: www.cs.ru.nl Language: English - Date: 2004-12-15 12:39:29 Type theory Automated theorem proving Logic in computer science Formal methods Proof assistants Coq CurryHoward correspondence Lambda calculus Propositional calculus First-order logic
136	A Verifiable, Centralized, Coercion-Free Reputation System Florian Kerschbaum SAP Research Karlsruhe, Germany Add to Reading List Source URL: www.fkerschbaum.org Language: English - Date: 2009-11-25 16:39:13 Control theory Cybernetics Reputation system Social information processing Reputation Negative feedback Homomorphic encryption Positive feedback Recommender system Zero-knowledge proof
137	Optimized Description Logic Reasoning via Core Blocking Birte Glimm, Ian Horrocks, and Boris Motik Oxford University Computing Laboratory, UK Abstract. State of the art reasoners for expressive description logics, such Add to Reading List Source URL: www.hermit-reasoner.com Language: English - Date: 2012-02-03 12:06:02 Ontology Proof theory Methods of proof Automated theorem proving Abox Tbox Sequent Method of analytic tableaux Description logic Calculus Blocking
138	Hipster: Integrating Theory Exploration in a Proof Assistant Moa Johansson, Dan Ros´en, Nicholas Smallbone, and Koen Claessen Department of Computer Science and Engineering, Chalmers University of Technology {jomoa,danr Add to Reading List Source URL: www.cse.chalmers.se Language: English - Date: 2014-05-05 03:54:39 Mathematical proofs Lemmas Five lemma Homological algebra Structural induction Theorem Proof assistant
139	CORRECTIONS TO "SPACE FILLING CURVES OVER FINITE FIELDS" NICHOLAS M. KATZ 1. Introduction Ofer Gabber has kindly pointed out to me that the proof of Lemma 5 is wrong. The Add to Reading List Source URL: web.math.princeton.edu Language: English - Date: 2001-07-19 04:35:54 Algebraic number theory Ring Ring theory Frobenius endomorphism
140	ERRATUM TO COCOMPACTLY CUBULATED GRAPH MANIFOLDS MARK F. HAGEN AND PIOTR PRZYTYCKI The following lemma is Lemma 4.7 of [HP15]. In the proof of part (2), we incorrectly invoked [CS11, PropHere we correct the proof Add to Reading List Source URL: www.wescac.net Language: English - Date: 2015-10-30 14:08:18 Geometric group theory Operator theory Metric geometry Group theory Quasi-isometry Subgroup Von Neumann algebra

UPDATE